Algorithms for Logi - Based Abdu

Using Abdu tive Logi Agents for Legal Justi

A First Order Logi for Spe i ation of Timed Algorithms : Basi Properties and

Description of GADEL

X iv :c s/ 00 03 01 8v 1 [ cs .A I] 7 M ar 2 00 0 Des ription of GADEL Igor Stéphan, Frédéri Saubion and Pas al Ni olas LERIA, Université d'Angers 2 Bd Lavoisier F-49045 Angers Cedex 01 {Igor.Stephan,Frederi .Saubion,Pas al.Ni olas} univ-angers.fr Abstra t This arti le des ribes the rst implementation of the GADEL system : a Geneti Algorithm for Default Logi . The goal of GADEL is to ompute ext...

Computational Adequa y of the FIX-Logi

Roy L. Crole Department of Computing, Imperial College, LONDON, England. July 13, 1995 Abstra t This paper presents omputational adequa y results for the FIX logi al system introdu ed by Crole and Pitts in LICS '90. More pre isely, we take two simple PCF style languages (whose dynami semanti s follow a all-byvalue and all-by-name regime) give translations of the languages into suitable judgemen...

Simulation Logic, Applets and Compositional Verification

We present a ompositional veri ation method for ontrol ow based safety properties of smart ard applets. Our method rests on a lose orresponden e between transition system models ordered by simulation and Hennessy-Milner logi extended with simultaneous greatest xed points. We show that simulation an be hara terised logi ally and, vi e versa, logi al satisfa tion an be represented behaviourally b...